hysop.backend.device.codegen.symbolic.relational module

class hysop.backend.device.codegen.symbolic.relational.ArithmeticTypedExpr(ctype, *args, **kwds)

Bases: RelationalTypedExpr

class hysop.backend.device.codegen.symbolic.relational.LogicalTypedExpr(ctype, *args, **kwds)

Bases: RelationalTypedExpr

class hysop.backend.device.codegen.symbolic.relational.OpenClAdd(ctype, *args, **kwds)

Bases: ArithmeticTypedExpr, Add

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalAND(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalAND

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalEQ(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalEQ

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalGE(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalGE

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalGT(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalGT

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalLE(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalLE

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalLT(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalLT

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalNE(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalNE

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalOR(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalOR

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClLogicalXOR(ctype, *args, **kwds)

Bases: LogicalTypedExpr, LogicalXOR

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.OpenClMul(ctype, *args, **kwds)

Bases: ArithmeticTypedExpr, Mul

default_assumptions: ClassVar[StdFactKB] = {}

class hysop.backend.device.codegen.symbolic.relational.RelationalTypedExpr(ctype, *args, **kwds)

Bases: TypedI

hysop.backend.device.codegen.symbolic.relational.basetype(fulltype)